Finite planes

1. Given any two distinct points, there's exactly one line that contains both points.
2. The parallel postulate: Given a line $ell$ and a point $p$ not on $ell$, there exists exactly one line $ell\text{'}$ containing $p$ such that $ell=ell\text{'}$ or $ell\; cap\; ell\text{'}\; =\; varnothing$.
3. There exists a set of four points, no three of which belong to the same line. The last axiom ensures that the geometry isn't empty, while the first two specify the nature of the geometry.
      The simplest affine plane contains only four points; it's called the affine plane of order 2. Since no three are collinear, any pair of points determines a unique line, and so this plane contains six lines. It corresponds to a tetrahedron where non-intersecting edges are considered "parallel", or a square where not only opposite sides, but also diagonals are considered "parallel". More generally, a finite affine plane of order $n$ has $n^2$ points and $n^2+n$ lines; each line contains $n$ points, and each point is on $n+1$ lines.

There exists a set of four points, no three of which belong to the same line.
   An examination of the first two axioms shows that they're nearly identical, except that the roles of points and lines have been interchanged. This suggests the principle of duality for projective plane geometry, meaning that any true statement about the geometry remains true if we exchange points for lines and lines for points. While the third axiom only requires the existence of four points, the plane must contain at least seven points in order to satisfy the first two axioms. In this simplest of the projective planes, there are also seven lines; each point is on three lines, and each line contains three points. This particular projective plane is sometimes called the Fano plane. If any of the lines is removed from the plane, along with the points on that line, the resulting geometry is the affine plane of order 2. For this reason, the Fano plane is called the projective plane of order 2. In general, the projective plane of order n has n² + n + 1 points and the same number of lines (respecting duality); each line contains n + 1 points, and each point is on n + 1 lines. A permutation of the Fano plane's seven points that carries collinear points (points on the same line) to collinear points is called a "symmetry" of the plane. The full symmetry group is of order 168 and is isomorphic to the group PSL(2,7) = PSL(3,2), and general linear group GL(3,2). It is well-established that both affine and projective planes of order n exist when n is a prime power, a prime number raised to a positive integer exponent. It is conjectured that no finite planes exist with orders that are not prime powers, although this statement hasn't been proved. The best result to date is the Bruck-Ryser theorem, which states:
If n is a positive integer of the form 4k + 1 or 4k + 2 and n isn't equal to the sum of two integer squares, then n doesn't occur as the order of a finite plane. The smallest integer that isn't a prime power and not covered by the Bruck-Ryser theorem is 10; 10 is of the form 4k + 2, but it's equal to the sum of squares 1² + 3². Using sophisticated techniques and computer analysis, it has been shown that 10 is also not the order of a finite plane. The next smallest number to consider is 12, for which neither a positive nor a negative result has been proved.

Finite spaces of 3 or more dimensions

For some important differences between finite plane geometry and the geometry of higher-dimensional finite spaces, see axiomatic projective space. For a discussion of higher-dimensional finite spaces in general, see, for instance, the works of J.W.P. Hirschfeld.

Further Information

Get more info on 'Finite Geometry'.

External Link Exchanges Do you know how hard it is to get a link from a large encyclopaedia? Well we're different and will prove it. To get a link from us just add the following HTML to your site on a relevant page: <a href="http://finite_geometry.totallyexplained.com">Finite geometry Totally Explained</a> Then simply click through this link from your web page. Our crawlers will verify your link, extract the title of your web page and instantly add a link back to it. If you like you can remove the words Totally Explained and embed the link in article text.    As long as your link remains in place, we'll keep our link to you right here. Please play fair - our crawlers are watching. Your site must be closely related to this one's topic. Any kind of spamming, dubious practises or removing the link will result in your link from us being dropped and, potentially, your whole site being banned.